Transformation of UML and OCL Models into Filmstrip Models

This contribution presents an automatic transformation from UML and OCL models into enriched UML and OCL models, so-called lmstrip models, which embody temporal information when employing OCL while maintaining the same functionality as the original model. The approach uses a combination of object and sequence diagrams that allows for a wide range of possible OCL constraints about sequences of operation calls and their temporal properties. The modeler does not need to account for such properties while creating the original model. Errors found by constraints for the lmstrip model can easily be related back to the original model, as the elements of the lmstrip model are synchronized with the original model and the backwards calculation is generally simple. The approach is implemented in a UML and OCL modeling tool.